Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Analýza rozvrhů
Novák, Ladislav ; Barták, Roman (vedoucí práce) ; Duša, Vladimír (oponent)
Cílem této diplomové práce bylo věnovat se formální analýze rozvrhů, tj. identifikaci slabých míst a následné navržení metod, jak tato slabá místa opravit. Tato diplomová práce navíc řeší metodu, jak z navržených oprav vybrat vhodnou podmnožinu, tj. portfolio. Výsledný softwarový prototyp Analyzer je integrován do projektu FlowOpt, jež představuje komplexní řešení od modelování pracovních procesů, přes vytváření rozvrhů až po zobrazování rozvrhů pomocí Ganttova diagramu. Analyzer byl vyvíjen především jako doprovodné dílo, které softwarově ilustruje formální proces analýzy. Powered by TCPDF (www.tcpdf.org)
Analýza rozvrhů
Novák, Ladislav ; Barták, Roman (vedoucí práce) ; Duša, Vladimír (oponent)
Cílem této diplomové práce bylo věnovat se formální analýze rozvrhů, tj. identifikaci slabých míst a následné navržení metod, jak tato slabá místa opravit. Tato diplomová práce navíc řeší metodu, jak z navržených oprav vybrat vhodnou podmnožinu, tj. portfolio. Výsledný softwarový prototyp Analyzer je integrován do projektu FlowOpt, jež představuje komplexní řešení od modelování pracovních procesů, přes vytváření rozvrhů až po zobrazování rozvrhů pomocí Ganttova diagramu. Analyzer byl vyvíjen především jako doprovodné dílo, které softwarově ilustruje formální proces analýzy. Powered by TCPDF (www.tcpdf.org)

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.